-
1 class-number formula
Большой англо-русский и русско-английский словарь > class-number formula
-
2 class-number formula
Математика: формула для числа классов -
3 class-number formula
English-Russian scientific dictionary > class-number formula
-
4 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
5 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
См. также в других словарях:
Class number formula — In number theory, the class number formula relates many important invariants of a number field to a special value of its Dedekind zeta function Contents 1 General statement of the class number formula 2 Galois extensions of the rationals 3 A … Wikipedia
Class number problem — In mathematics, the Gauss class number problem (for imaginary quadratic fields), as usually understood, is to provide for each n ≥ 1 a complete list of imaginary quadratic fields with class number n. It is named after the great… … Wikipedia
Formula Ford — is a single seater, open wheel class in motorsport which exists in some form in many countries around the world. It is an entry level series to motor racing, in which in the past many drivers aspired to one day reach Formula One (today karting is … Wikipedia
Formula racing — is a term that refers to various forms of open wheeled single seater motorsport. Its origin lies in the nomenclature that was adopted by the FIA for all of its post World War II single seater regulations, or . The best known of these formulae are … Wikipedia
Formula 16 (sailing) — The Formula 16 (F16) sport catamaran is a 5 m long beach catamaran with an asymmetric spinnaker setup.It is actively sailed in two modes: doublehanded with a jib ( 2 up ), and singlehanded without a jib ( 1 up ).Its class rules setup is very… … Wikipedia
Formula for primes — In mathematics, a formula for primes is a formula generating the prime numbers, exactly and without exception. No easily computable such formula is known. A great deal is known about what, more precisely, such a formula can and cannot be.Prime… … Wikipedia
Algebraic number field — In mathematics, an algebraic number field (or simply number field) F is a finite (and hence algebraic) field extension of the field of rational numbers Q. Thus F is a field that contains Q and has finite dimension when considered as a vector… … Wikipedia
Formula Junior — is a formula racing class first adopted in October 1958 by the CSI ( International Sporting Commission , the part of the FIA that then regulated motorsports). The class was intended to provide an entry level class where you could use inexpensive… … Wikipedia
Formula Student — is a student engineering competition held annually in the UK. Student teams from around the world design, build, test, and race a small scale formula style racing car. The cars are judged on a number of criteria including both static and dynamic… … Wikipedia
Formula Ford 1600 — is a number of championships which cater to 1600cc, Ford Kent powered Formula Ford racing cars. These are cars which were disbanded when the UK national Formula Ford category adopted the 1800cc Zetec engines in 1994. Intriguingly, several cars… … Wikipedia
Discriminant of an algebraic number field — A fundamental domain of the ring of integers of the field K obtained from Q by adjoining a root of x3 − x2 − 2x + 1. This fundamental domain sits inside K ⊗QR. The discriminant of K is 49 = 72.… … Wikipedia